#ifndef CONTROL_H
#define CONTROL_H

typedef struct __task_queue_node task_queue_node;

typedef struct task_struct Task;
typedef struct global_domain Cluster;
typedef struct core_domain Core;

/* ------------------------Schedulability analysis------------------------------ */


#endif // CONTROL_H
